option('REAL64', type: 'boolean', value: false, description: 'Use 64-bit floating point numbers')
